SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

Source URL: seahorn.github.io

• Mathematics
• Symbol
• 120-cell
• Craig interpolation
• Computability theory
• Fiber bundles
• Differential topology

Experience with Rule-Based Analysis of Spacecraft Logs? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA

Source URL: rjoshi.org

• Concurrency control
• Computing
• Computer programming
• Data management
• Lock
• N1
• Monitor
• File locking
• APT

Is it Really About Me? Message Content in Social Awareness Streams Mor Naaman, Jeffrey Boase, Chih-Hui Lai Rutgers University, School of Communication and Information 4 Huntington St., New Brunswick, NJ 08901, USA {mor,

Source URL: individual.utoronto.ca

• Software
• Computing
• Digital media
• Social media
• Social networking services
• Universal Windows Platform apps
• Terms of service
• Photo sharing
• Twitter
• Internet privacy
• Facebook
• Privacy concerns with social networking services

Poster: Understanding Free-riding Attacks in Internet Zero-rating Services Zhiheng Liu, Zhen Zhang, Shihao Jing, Zhaohan Xi and Yinzhi Cao Lehigh University 27 Memorial Dr W, Bethlehem, PA, USA [zhl416][zhza16][shj316][z

Source URL: www.ieee-security.org

• Computing
• Internet
• Computer network security
• Internet privacy
• Information and communications technology
• Transport Layer Security
• Cryptographic protocols
• Secure communication
• HTTP cookie
• HTTPS
• Deep packet inspection
• Man-in-the-middle attack

Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org

Source URL: www.ece.northwestern.edu

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• Combinatory logic
• Design by contract
• Enumerated type
• Eiffel
• Objective-C
• Contract
• Scope
• Exception handling

Incorporating Side Information in Tensor Completion Hemank Lamba*, Vaishnavh Nagarajan*, Kijung Shin*, Naji Shajarisales* Carnegie Mellon University 5000 Forbes Avenue Pittsburgh PA 15213, USA

Source URL: gdac.uqam.ca

• Algebra
• Linear algebra
• Mathematics
• Matrix theory
• Matrix
• Tensor
• Factorization
• Singular value decomposition
• Tensor product

Publicado en Septiembre deEste documento usa la versión 6.0 de NetLogo. Traducción por Haroldo Miranda. GUIA DE PROGRAMACION DE NETLOGO AGENTES El mundo de NetLogo está compuesto de agentes. Los agentes son se

Source URL: ccl.northwestern.edu

Recommendations in Signed Social Networks Jiliang Tang‡ , Charu Aggarwal# , and Huan Liu† † Computer Science & Engineering, Arizona State University, Tempe, AZ, USA ‡

Source URL: gdac.uqam.ca

Interpolating Quality Dynamics in Wikipedia and Demonstrating the Keilana Effect Aaron Halfaker Wikimedia Research San Francisco, California, USA

Source URL: upload.wikimedia.org

• Wikipedia
• Wikis
• Wikimedia projects
• Digital media
• World Wide Web
• Collaboration
• English Wikipedia
• WikiProject
• Emily Temple-Wood
• Artificial intelligence in Wikimedia projects
• Deletionism and inclusionism in Wikipedia
• Outline of Wikipedia

Comprehension of spacecraft telemetry using hierarchical specifications of behavior? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory California Institute of Technology California, USA

Source URL: rjoshi.org

• E1
• Hepatitis C virus